be logically deducible from the proposition - Turkish English Dictionary